docs: add CLAUDE.md, architecture docs, and /sesh-mode skill#6247
Open
g-talbot wants to merge 4 commits intogtt/phase-31-executefrom
Open
docs: add CLAUDE.md, architecture docs, and /sesh-mode skill#6247g-talbot wants to merge 4 commits intogtt/phase-31-executefrom
g-talbot wants to merge 4 commits intogtt/phase-31-executefrom
Conversation
0ee18f5 to
b077bf3
Compare
ae409ac to
3eb3316
Compare
70a48be to
d225cc7
Compare
c4418dd to
aa5ff45
Compare
8d701de to
bcdda05
Compare
142ddd6 to
972bd20
Compare
bcdda05 to
0fd7087
Compare
73c90c4 to
44bd6bb
Compare
468ac45 to
1e5722d
Compare
44bd6bb to
add1902
Compare
1e5722d to
9b6c961
Compare
add1902 to
d88f67f
Compare
06a6296 to
8f1cbde
Compare
b5b840e to
c8e6070
Compare
8f1cbde to
a8d60a7
Compare
c8e6070 to
cc704b5
Compare
a8d60a7 to
b2bde05
Compare
cc704b5 to
bf93060
Compare
b2bde05 to
075e9c3
Compare
bf93060 to
cedd6ca
Compare
075e9c3 to
01e7e3b
Compare
cedd6ca to
02cf95d
Compare
7b0bb80 to
d5dae8a
Compare
5b78b1e to
c9634ed
Compare
9ba9f49 to
1a1b5ea
Compare
c9634ed to
1df615d
Compare
afdec4e to
2acbcf3
Compare
1df615d to
0c39228
Compare
2acbcf3 to
977badb
Compare
0c39228 to
3b1e48d
Compare
977badb to
cb8afea
Compare
3b1e48d to
251ec57
Compare
75a584b to
fa3fd92
Compare
c4cbf0e to
a96e8f5
Compare
fa3fd92 to
5d2f8b7
Compare
a96e8f5 to
9f71553
Compare
5d2f8b7 to
3d19eb9
Compare
9f71553 to
d7a7e05
Compare
3d19eb9 to
7b198eb
Compare
d7a7e05 to
2c2eea2
Compare
7b198eb to
151688e
Compare
Ports CLAUDE.md (development guide, coding standards, known pitfalls) and the full docs/internals tree including ADRs, gap analyses, TLA+ specs, verification guides, style references, and compaction architecture. Co-Authored-By: Claude Opus 4.6 (1M context) <noreply@anthropic.com>
- Move verification-first workflow (TLA+, DST, formal specs) to /sesh-mode skill - Keep repo knowledge in CLAUDE.md (pitfalls, reliability rules, testing, docker, commands) - Remove Crate Map (derivable from filesystem) - Remove Coding Style bullet summary (CODE_STYLE.md is linked) - Fix relative links in SKILL.md for .claude/skills/sesh-mode/ path Co-Authored-By: Claude <noreply@anthropic.com>
2c2eea2 to
29cc07f
Compare
151688e to
b6da436
Compare
This file contains hidden or bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment
Add this suggestion to a batch that can be applied as a single commit.This suggestion is invalid because no changes were made to the code.Suggestions cannot be applied while the pull request is closed.Suggestions cannot be applied while viewing a subset of changes.Only one suggestion per line can be applied in a batch.Add this suggestion to a batch that can be applied as a single commit.Applying suggestions on deleted lines is not supported.You must change the existing code in this line in order to create a valid suggestion.Outdated suggestions cannot be applied.This suggestion has been applied or marked resolved.Suggestions cannot be applied from pending reviews.Suggestions cannot be applied on multi-line comments.Suggestions cannot be applied while the pull request is queued to merge.Suggestion cannot be applied right now. Please check back later.
Summary
/sesh-modeskill for verification-first workflow (TLA+, DST, Stateright)Combines pomsky PRs #468 and #474.
Stacks on
gtt/phase-31-execute(PR #6246).The split logic (from PR #474)
/sesh-modeTest plan
/sesh-modeskill contains the full verification workflow🤖 Generated with Claude Code